NAMES OF ASTEROIDS FORMED LEXICO-SYNTACTICAL METHOD

Debugging Method Names

Meaningful method names are crucial for the readability and maintainability of software. Existing naming conventions focus on syntactic details, leaving programmers with little or no support in assuring meaningful names. In this paper, we show that naming conventions can go much further: we can mechanically check whether or not a method name and implementation are likely to be good matches for ...

A Uniform Syntactical Method for ProvingCoinduction Principles in - calculi ?

Coinductive characterizations of various observational con-gruences which arise in the semantics of-calculus, when-terms are evaluated according to various reduction strategies, are discussed. We analyze and extend to non-lazy strategies, both deterministic and non-deterministic, Howe's congruence candidate method for proving the coincidence of the applicative (bisimulation) and the contextual ...

Syntactical variants

The Bulgarian anatomical terminology of today

By Bulgarian anatomical terms we mean the names established by scientific tradition, duplicating the Latin anatomical terms and coined with the means of the Bulgarian language or loan-words which are grammatically integrated (assimilated) into the Bulgarian anatomical text and are written in the Cyrillic alphabet. In their integrity and systemic relationships, the Bulgarian anatomical terms mak...

Multi-Index Syntactical Calculus